@inproceedings{yang2020efficient,
  title={Efficient safety control synthesis with imperfect state information},
  author={Yang, Liren and Ozay, Necmiye},
  booktitle={Proceedings of the 59th IEEE Conference on Decision and Control},
  pages={874--880},
  year={2020},
  organization={IEEE}
}